Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
381	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
382	Corrections to the 2006 book “Modeling, Specification, and Verification using UML Statecharts” Discovered by: Prof. Tom Otani, of NPS Dr. Vahid Reza Ramezani, of UMD Add to Reading List Source URL: www.time-rover.com Language: English - Date: 2011-02-28 22:54:29 Graphic design Automata theory Theoretical computer science Typography Communication design State diagram Paragraph UML state machine Section sign Models of computation Writing UML diagrams
383	The Quadratic Assignment Problem in Code Optimization for a Simple Universal Turing Machine Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Theoretical computer science Computer science Computability theory Alan Turing Algorithm Tag system Finite-state machine Description number Read-only Turing machine Turing machine Theory of computation Models of computation
384	ICS 162 – Spring 2001 – Final Exam Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-12-01 14:01:08 Applied mathematics Automata theory Models of computation Mathematical optimization NP Deterministic pushdown automaton Pushdown automaton P Complement Theoretical computer science Computational complexity theory Complexity classes
385	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-30 05:29:39 Petri net Models of computation Symbol Model theory
386	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
387	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic
388	Notes for the Lifebox, the Seashell, and the Soul Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2014-05-29 21:49:28 Computability theory Models of computation Theory of computation Formal methods A New Kind of Science Turing machine Rudy Rucker Halting problem Quantum computer Theoretical computer science Applied mathematics Mathematics
389	Models of Computation Lecture 8: Undecidiability [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. Please send bug reports and suggestions to . Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:16 Computability theory Theory of computation Turing machine Models of computation Universal Turing machine Computability Reduction NP Halting problem Theoretical computer science Applied mathematics Mathematics
390	A Dynamic Oracle for Arc-Eager Dependency Parsing Yoav Gol d ber g 1 J oakim N ivr e1,2 (1) Google Inc. (2) Uppsala University , Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-02-21 11:41:25 Oracle Database Algorithm Oracle machine Mathematics Applied mathematics Models of computation Software Cross-platform software

UPDATE